-
1 term of disjunction
член дизъюнкцииБольшой англо-русский и русско-английский словарь > term of disjunction
-
2 term of disjunction
Математика: член дизъюнкции -
3 term of disjunction
член дизъюнкцииАнгло-русский большой универсальный переводческий словарь > term of disjunction
-
4 term of disjunction
-
5 term of disjunction
мат. -
6 disjunction
dɪsˈdʒʌŋkʃən сущ.
1) разделение;
разобщение;
деление, разъединение Syn: separation, disconnexion, disunion, disconnection, dissociation Ant: conjunction
2) тех. разъединение, размыкание (цепи)
3) лог.;
компьют.;
мат. дизъюнкция, логическое сложение, операция ИЛИ disjunction sign ≈ знак дизъюнкции disjunction operation ≈ операция дизъюнкции, операция логического сложения term of disjunction ≈ член дизъюнкции conditioned disjunction ≈ условная дизъюнкция exclusive disjunction ≈ разделительная дизъюнкция;
операция, исключающая ИЛИ inclusive disjunction ≈ неразделительная дизъюнкция;
операция, включающая ИЛИ разъединение;
расчленение;
отделение (логика) дизъюнкция - inclusive * неразделительная дизъюнкция (логика) дизъюнктивное суждение( техническое) разобщение, размыкание (электрической цепи и т. п.) disjunction вчт. дизъюнкция ~ вчт. операция ИЛИ ~ разделение;
разобщение;
разъединение ~ эл. размыкание (цепи)Большой англо-русский и русско-английский словарь > disjunction
-
7 disjunction
[dɪs'ʤʌŋkʃ(ə)n]сущ.1) разделение; разобщение; разъединениеSyn:Ant:2) тех. разъединение, размыкание ( цепи)3) информ.; мат. дизъюнкция, логическое сложение, операция ИЛИdisjunction operation — операция дизъюнкции, операция логического сложения
exclusive disjunction — разделительная дизъюнкция; операция, исключающая ИЛИ
inclusive disjunction — неразделительная дизъюнкция; операция, включающая ИЛИ
-
8 term
1) термин2) мат. член; терм3) элемент; составляющая4) срок5) условие (напр. контракта)6) мат. одночлен•- n-th term of expansion - totally labeled term -
9 term
1) терма) член, элемент логического или математического выражения2) термин || использовать термин(ы); обозначать; присваивать обозначение; называть3) (определённый) промежуток времени; срок4) семестр; четверть ( в учебном заведении)5) pl условия; правила•- term of series
- terms of service
- atomic term
- binary term
- Boolean term
- closed term
- conjunction term
- constant term
- discriminating term
- disjunction term
- error correction term
- free term
- generic term
- ground term
- leading term
- leading-order term
- multiplet term
- multi-word term
- phrase term
- product term
- quadratic term
- search term
- singlet term
- single-word term
- spectral term
- structured term
- switching term
- unstructured term -
10 disjunction term
Программирование: терм дизъюнкции -
11 disjunction term
-
12 functor
См. также в других словарях:
Disjunction and existence properties — In mathematical logic, the disjunction property is satisfied by a logic if whenever a sentence is a theorem, then either ϕ is a theorem, or ψ is a theorem. The existence property or witness property is satisfied by a logic if whenever a sentence… … Wikipedia
Conditional disjunction — In logic, the term conditional disjunction can refer to: conditioned disjunction, a ternary logical connective introduced by Alonzo Church; a rule in classical logic that the material conditional ¬p → q is equivalent to the disjunction p ∨ q, so… … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Late medieval logic — Paul Vincent Spade I Medieval logic encompassed more than what we call logic today. It included semantics, philosophy of language, parts of physics, of philosophy of mind and of epistemology. Late medieval logic began around 1300 and lasted… … History of philosophy